Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
101	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
102	Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:30 Mathematics Game theory Algorithm Mathematical logic Theoretical computer science Greedy algorithm Mechanism design Nash equilibrium
103	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
104	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
105	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-24 05:51:54 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
106	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
107	DEGREE GROWTH OF BIRATIONAL MAPS OF THE PLANE JÉRÉMY BLANC AND JULIE DÉSERTI October 6, 2011 A BSTRACT. This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known e Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2014-09-21 13:51:17 Mathematical analysis Mathematics Operator theory Constructible universe Divisor Birational geometry Contraction Linear temporal logic Golden ratio base
108	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-13 07:23:59 Logic Philosophy Academia Auguste Rodin Rodin Axiom Theorem ETH Zurich Mathematical proof Mathematics
109	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
110	Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:57 Computational complexity theory Theory of computation Analysis of algorithms Operations research Scheduling Algorithm Mathematical logic Theoretical computer science Time complexity NC Job shop scheduling